Total Books: 1 - 1 /1
Formal Correctness of Security Protocols
The author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols ...
Lee mas
Total Books: 1 - 1 /1
